On the Way to High-Level Programming for Resource-Limited Embedded Systems with Golog

نویسندگان

  • Alexander Ferrein
  • Gerald Steinbauer
چکیده

In order to allow an autonomous robot to perform non-trivial tasks like to explore a foreign planet the robot has to have deliberative capabilities like reasoning or planning. Logic-based approaches like the programming and planing language Golog and it successors has been successfully used for such decision-making problems. A drawback of this particular programing language is that their interpreter usually are written in Prolog and run on a Prolog back-end. Such back-ends are usually not available or feasible on resource-limited robot systems. In this paper we present our ideas and first results of a re-implementation of the interpreter based on the Lua scripting language which is available on a wide range of systems including small embedded systems.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems

Among many approaches to address the high-level decision making problem for autonomous robots and agents, the robot programming and plan language Golog follows a logic-based deliberative approach, and its successors were successfully deployed in a number of robotics applications over the past ten years. Usually, Golog interpreter are implemented in Prolog, which is not available for our target ...

متن کامل

On sensing and off-line interpreting in GOLOG

GOLOG is a high-level programming language for the specification of complex actions. It combines the situation calculus with control structures known from conventional programming languages. Given a suitable axiomatization of what the world is like initially and how the primitive actions change the world, the GOLOG interpreter derives for each program a corresponding linear sequence of legally ...

متن کامل

On Sensing and Oo-line Interpreting in Golog

GOLOG is a high-level programming language for the speciication of complex actions. It combines the situation calculus with control structures known from conventional programming languages. Given a suitable ax-iomatization of what the world is like initially and how the primitive actions change the world, the GOLOG interpreter derives for each program a corresponding linear sequence of legally ...

متن کامل

Golog Speaks the BDI Language

In this paper, we relate two of the most well developed approaches to agent-oriented programming, namely, BDI (Belief-Desire-Intention) style programming and “Golog-like” high-level programming. In particular, we show how “Golog-like” programming languages can be used to develop BDI-style agent systems. The contribution of this paper is twofold. First, it demonstrates how practical agent system...

متن کامل

Type Systems for Resource-Bounded Programming and Compilation Case for Support

Recent decades have seen a gradual move from low-level programming languages such as assembler, Basic, and COBOL to high-level languages such as C++, Haskell, Java, and ML. High-level languages provide abstraction layers and powerful programming idioms, making it much easier to implement and analyse complicated algorithms. At the beginning, lack of efficiency prevented the use of these language...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010